Browsing by Subject "Concurrent engineering"
Now showing items 1-4 of 4
-
Article
Failure-sensitive analysis of parallel algorithms with controlled memory access concurrency
(2007)The abstract problem of using P failure-prone processors to cooperatively update all locations of an N-element shared array is called Write-All. Solutions to Write-All can be used iteratively to construct efficient simulations ...
-
Article
A Family of Resource-Bound Real-Time Process Algebras
(2006)The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the timing behavior of a real-time system depends ...
-
Article
Periodic and non-concurrent error detection and identification in one-hot encoded FSMs
(2004)State-transition faults in digital sequential systems, such as finite-state logic controllers, have traditionally been handled by embedding the given system into a larger one, in a way that preserves the state evolution ...
-
Article
A process-calculus analysis of concurrent operations on B-trees
(2001)A general theory of interactive systems with changing structure, the π-calculus, is used to study concurrent operations on a variant of the B-tree. An improved algorithm for compression of the data structure is given. Some ...